Subtype polymorphism - PDFSEARCH.IO - Document Search Engine

Subtype polymorphism
Results: 217

#	Item
101	Evaluation of the Unified Modeling Language Submission to OOADTF RFP-1 Conrad Bock Kevin Murphy Amy Justice[removed]) Add to Reading List Source URL: www.conradbock.org Language: English - Date: 2011-08-25 18:51:00 Data modeling Stereotype Meta-Object Facility Subtype polymorphism Object-oriented programming Domain-specific modeling Profile Unified Modeling Language Software engineering Computing
102	Class Properties for Security Review in an Object-Capability Subset of Java (Short Paper) Adrian Mettler David Wagner Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2015-01-21 19:48:40 Computer programming Java programming language Data types Type theory Polymorphism Immutable object Object Immutable interface Subtype polymorphism Software engineering Computing Object-oriented programming
103	View to Product Configuration Knowledge Modelling and Evolution Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 03:11:40 Computing Computer-aided design Product lifecycle management Product structure modeling Database Data modeling Subtype polymorphism Configuration management Software framework Information technology management Software engineering Object-oriented programming
104	Types and Programming Languages Benjamin C. Pierce The MIT Press Cambridge, Massachusetts Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-02-01 23:40:16 Computing Data types Polymorphism Object-oriented programming Lambda calculus Subtype polymorphism Type system System F Simply typed lambda calculus Software engineering Type theory Programming language theory
105	Rules for Type-checking of Parametric Polymorphism in EMF Generics Miguel Garcia Institute for Software Systems (STS) Hamburg University of Technology (TUHH), 21073 Hamburg, Germany [removed] Add to Reading List Source URL: www.sts.tu-harburg.de Language: English - Date: 2007-02-21 05:06:00 Polymorphism Data types Type theory Generic programming Generics in Java Subtype polymorphism Standard ML Type system Classical cipher Software engineering Computing Computer programming
106	Facilitating Reuse in Hardware Models with Enhanced Type Inference Manish Vachharajani Neil Vachharajani Add to Reading List Source URL: liberty.cs.princeton.edu Language: English - Date: 2011-11-28 14:53:01 Computing Type inference Type system Parametric polymorphism Subtype polymorphism Generic programming Standard ML Hindley–Milner Data type Type theory Software engineering Programming language theory
107	l A Formal Composition and Interaction Model for a Web Component Platform Claus Pahl 1 School of Computer Applications Add to Reading List Source URL: doras.dcu.ie Language: English - Date: 2011-02-07 11:46:18 World Wide Web Universal Description Discovery and Integration Web Services Description Language Port Service-oriented architecture Web Services Discovery D-subminiature SOAP Subtype polymorphism Web services Computing Web standards
108	ArcGIS Geodatabase Topology Rules ® Use this rule to make sure that all polygons have at least one point within their boundaries. Overlapping polygons can share a point in that overlapping area. Add to Reading List Source URL: webhelp.esri.com Language: English - Date: 2007-07-10 20:07:10 Software engineering Subtype polymorphism Point in polygon Star polygon Geometry Polygons Euclidean plane geometry
109	DOC Document Add to Reading List Source URL: www.cidoc-crm.org Language: English - Date: 2006-01-26 05:28:17 Computing Data types Type theory Polymorphism Object Class Inheritance Subtype polymorphism Type Software engineering Object-oriented programming Computer programming
110	UNIVERSITY OF CALIFORNIA SANTA CRUZ EXECUTABLE REFINEMENT TYPES A dissertation submitted in partial satisfaction of the requirements for the degree of DOCTOR OF PHILOSOPHY Add to Reading List Source URL: kennknowles.com Language: English - Date: 2014-02-23 11:12:22 Programming language theory Data types Object-oriented programming Program analysis Type system Subtype polymorphism Program refinement C Dependent type Type theory Software engineering Computing

UPDATE